asummable theorem

不可和定理